Buy Used and New Peter Dybjer Books

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000 Advanced Lectures (Lecture Notes in Computer Science)

by Gilles Barthe,Peter Dybjer,Luís Pinto,João Saraiva

ISBN 13: 9783540440444

Format: Paperback (544 pages)
Publisher: Springer
Published: 21 Aug 2002

Save for later

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989. Proceedings: 389 (Lecture Notes in Computer Science)

by Peter Dybjer,Andrew M. Pitts,Axel Poigne,David E. Rydeheard,David H. Pitt

ISBN 13: 9783540516620

Format: Paperback (380 pages)
Publisher: Springer
Published: 23 Aug 1989

Save for later

Types for Proofs and Programs: International Workshop, TYPES'99 Lökeberg, Sweden, June 12-16, 1999 Selected Papers: 1956 (Lecture Notes in Computer Science)

by Thierry Coquand,Peter Dybjer,Jan Smith,Bengt Nordström

ISBN 13: 9783540415176

Format: Paperback (208 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later